Skip to content

Add real Bottle integration - #3

Merged
eatdrop merged 1 commit into
mainfrom
agent/bottle-real-integration
Aug 3, 2026
Merged

Add real Bottle integration#3
eatdrop merged 1 commit into
mainfrom
agent/bottle-real-integration

Conversation

@eatdrop

@eatdrop eatdrop commented Aug 3, 2026

Copy link
Copy Markdown
Owner

变更内容 / What changed

  • 新增固定 Bottle 修复前提交和准确上游源码 Hunk 的真实第三方集成。
    Added a real third-party integration pinned to Bottle's pre-fix commit and exact upstream source hunk.
  • 新增独立复现测试、边界测试、Manifest、双语案例文档和 Docker CI 作业。
    Added independent reproduction and edge-case tests, a manifest, bilingual case documentation, and a Docker CI job.
  • 为固定 unittest discover Runner 增加安全的 package top-level 支持,并把 .tpl 纳入文本快照。
    Added safe package top-level support to the fixed unittest discover runner and included .tpl in text snapshots.
  • 测试复制忽略标准 __pycache__ 生成物,同时继续拒绝其他非 Python 文件与符号链接。
    Test copying ignores standard __pycache__ artifacts while still rejecting other non-Python files and symbolic links.
  • 版本提升至 v0.1.2,并更新 README、演示视觉和 Changelog。
    Bumped the release to v0.1.2 and updated the README, demo visual, and changelog.

原因与影响 / Why and impact

此前项目的公开证据主要来自仓库内计算器夹具和 IssueLens 前向审计,无法直接证明 PatchProof 能验证独立第三方项目的真实修复。Bottle 案例补上这项证据,并暴露出包式 unittest discovery 与模板夹具复制的通用兼容缺口。

Previously, public evidence centered on the repository-owned calculator fixture and the IssueLens forward audit, which did not directly prove validation of a real independent third-party fix. The Bottle case closes that evidence gap and exposed general compatibility needs around package-style unittest discovery and template fixtures.

验证 / Validation

  • make test: 80 passed
  • Trusted-local demo: passed
  • Bottle integration: 1 baseline reproduction, 1 patched reproduction, 359 upstream regressions, 1 independent edge case
  • Bottle target snapshot unchanged before/after
  • git diff --check: passed
  • v0.1.2 wheel build, isolated installation, version, and CLI smoke test: passed

@eatdrop
eatdrop marked this pull request as ready for review August 3, 2026 09:02
@eatdrop
eatdrop merged commit e036873 into main Aug 3, 2026
4 checks passed
@eatdrop
eatdrop deleted the agent/bottle-real-integration branch August 3, 2026 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant